home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
t3_1
/
risc_src.lha
/
risc_sources
/
tman
/
man.bib
< prev
next >
Wrap
Text File
|
1988-10-28
|
21KB
|
730 lines
@inproceedings{White79
,author = "Jon L. White"
,title = "NIL: A Perspective"
,booktitle = "1979 Macsyma Users' Conference Proceedings"
,organization = "Macsyma Users' Conference"
,address = "Washington, D.C."
,month = jun
,year = "1979"
}
@book{CLtL
,author = "Guy L. {Steele Jr.}"
,title = "Common Lisp: The Language"
,publisher = "Digital Press"
,year = "1984"
}
@manual{Weinreb81
,author = "Daniel Weinreb and David Moon"
,title = "Lisp Machine Manual"
,edition = "Third Edition"
,organization = "Artificial Intelligence Laboratory,
Massachusetts Institute of Technology"
,address = "Cambridge, Massacusetts"
,year = "1981"
}
@article{key1,
author = "John Reynolds",
year = "1972",
publisher = "ACM",
journal = "ACM Conference Proceedings",
pages = "717-740",
title = "Definitional Interpreters for Higher Order Programming Languages"
}
@techreport{key2,
author = "Gerald Jay Sussman and Guy Lewis Steele, Jr.",
address = "Cambridge, Mass.",
year = "December 1975",
title = "Scheme: an Interpreter for Extended Lambda Calculus"
}
@techreport{imperative,
author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman",
address = "Cambridge, Mass.",
year = "March 1976",
title = "Lambda, the Ultimate Imperative"
}
@techreport{declarative,
author = "Guy Lewis Steele, Jr.",
address = "Cambridge, Mass.",
year = "November 1976",
title = "Lambda, the Ultimate Declarative"
}
@article{key5,
author = "Guy Lewis Steele, Jr.",
year = "1977",
publisher = "ACM",
journal = "ACM Conference Proceedings",
pages = "153-162",
title = "Debunking the ``Expensive Procedure Call'' Myth, or Procedure Call Implementations Considered Harmful, or LAMBDA, the Ultimate GOTO"
}
@article{key6,
author = "Guy Lewis Steele, Jr.",
year = "August 1977",
journal = "Proceedings of the Symposium on Artificial Intelligence and Programming Languages",
pages = "60-66",
title = "Macaroni is Better than Spaghetti"
}
@article{key7,
author = "Mitchell Wand",
year = "1978",
journal = "Journal of the ACM",
number = "1",
pages = "174-180",
title = "Continuation-Based Program Transformation Strategies",
volume = "27"
}
@techreport{rrs
,author = "Guy Lewis {Steele Jr.} and Gerald Jay Sussman"
,institution = "AI Lab, MIT"
,address = "Cambridge, Mass."
,year = "1978"
,month = jan
,title = "The Revised Report on Scheme, a Dialect of Lisp"
}
@techreport{key9,
author = "Guy Lewis Steele, Jr.",
address = "Cambridge, Mass.",
year = "May 1978",
title = "Rabbit: a Compiler for Scheme"
}
@techreport{modularity,
author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman",
address = "Cambridge, Mass.",
year = "May 1978",
title = "The Art of the Interpreter, or the Modularity Complex (parts zero, one, and two)"
}
@article{key11,
author = "Drew McDermott",
year = "1980",
publisher = "The Lisp Conference, P.O. Box 487, Redwood Estates CA.",
journal = "Conference Record of the 1980 Lisp Conference",
pages = "154-162",
title = "An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped Lisp"
}
@article{key12,
author = "Steven S. Muchnick and Uwe F. Pleban",
year = "1980",
publisher = "The Lisp Conference, P.O. Box 487, Redwood Estates CA.",
journal = "Conference Record of the 1980 Lisp Conference",
pages = "56-65",
title = "A Semantic Comparison of Lisp and Scheme"
}
@book{key13,
author = "Guy Lewis Steele, Jr.",
booktitle = "AI: An MIT Perspective",
address = "Cambridge, Mass.",
year = "1980",
editor = "Patrick Henry Winston Richard Henry Brown",
publisher = "MIT Press",
title = "Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO"
}
@article{key14,
author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman",
year = "1980",
publisher = "The Lisp Conference",
journal = "Conference Record of the 1980 Lisp Conference",
pages = "163-172",
title = "The Dream of a Lifetime: a Lazy Variable Extent Mechanism"
}
@article{key15,
author = "Mitchell Wand",
year = "1980",
publisher = "The Lisp Conference",
journal = "Conference Record of the 1980 Lisp Conference",
pages = "19-28",
title = "Continuation-Based Multiprocessing"
}
@article{key16,
author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman",
year = "November 1980",
journal = "CACM",
number = "11",
pages = "628-645",
title = "Design of a Lisp-based Processor",
volume = "23"
}
@article{key17,
author = "Gerald Jay Sussman and Jack Holloway and Guy Lewis Steele, Jr. and Alan Bell",
year = "July 1981",
publisher = "IEEE",
journal = "IEEE Computer",
number = "7",
pages = "10-21",
title = "Scheme-79 - Lisp on a Chip",
volume = "14"
}
@article{scheme81,
author = "John Batali and Edmund Goodhue and Chris Hanson and Howie Shrobe and Richard M. Stallman and Gerald Jay Sussman",
address = "Artech House, Dedham MA.",
year = "1982",
editor = "Paul Penfield, Jr.",
journal = "Proceedings, Conference on Advanced Research in VLSI",
pages = "69-77",
title = "The Scheme-81 Architecture - System and Chip"
}
@article{key19,
author = "Peter Henderson",
year = "1982",
journal = "Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming",
pages = "179-187",
title = "Functional Geometry"
}
@inproceedings{Rees82
,author = "Jonathan A. Rees and Norman I. {Adams IV}"
,month = "August"
,year = "1982"
,booktitle = "Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming"
,pages = "114--122"
,title = "T: A Dialect of Lisp or, {LAMBDA}: The Ultimate Software Tool"
}
@book{key21,
author = "Gerald Jay Sussman",
booktitle = "Functional Programming and its Applications",
address = "London",
year = "1982",
editor = "Darlington, Henderson, Turner",
publisher = "Cambridge University Press",
title = "LISP, Programming and Implementation"
}
@techreport{key22,
author = "Pee Hong Chen and W.Y. Chi and E.M. Ost and L.D. Sabbagh and G. Springer",
address = "Bloomington, Indiana",
year = "August 1983",
publisher = "Indiana University",
title = "Scheme Graphics Reference Manual"
}
@techreport{key23,
author = "Pee Hong Chen and Daniel P. Friedman",
address = "Bloomington, Indiana",
year = "August 1983",
publisher = "Indiana University",
title = "Prototyping data flow by translation into Scheme"
}
@techreport{key24,
author = "Carol Fessenden and William Clinger and Daniel P. Friedman and Christopher T. Haynes",
address = "Bloomington, Indiana",
year = "February 1983",
publisher = "Indiana University",
title = "Scheme 311 version 4 Reference Manual"
}
@article{comp311,
author = "William Clinger",
year = "1984",
journal = "Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming",
pages = "356-364",
title = "The Scheme 311 compiler: An Exercise in Denotational Semantics"
}
@book{key26,
author = "Daniel P. Friedman and Christopher T. Haynes and Eugene E. Kohlbecker",
booktitle = "Program Transformation and Programming Environments",
year = "1984",
editor = "P. Pepper",
publisher = "Springer-Verlag",
pages = "263-274",
title = "Programming with Continuations"
}
@article{key27,
author = "Christopher T. Haynes and Daniel P. Friedman",
address = "Austin, TX.",
year = "1984",
journal = "Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming",
pages = "18-24",
title = "Engines Build Process Abstractions"
}
@article{key28,
author = "Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand",
address = "Austin, TX.",
year = "1984",
journal = "Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming",
pages = "293-298",
title = "Continuations and Coroutines"
}
@article{key29,
author = "Daniel P. Friedman and Mitchell Wand",
address = "Austin, TX.",
year = "August 1984",
journal = "Conference Record of the 1984 ACM Symposium on LISP and Functional Programming",
pages = "348-355",
title = "Reification: reflection without metaphysics"
}
@book{key30,
author = "Jonathan A. Rees and Norman I. Adams and James R. Meehan",
year = "January 1984",
publisher = "Yale University Computer Science Department",
title = "The T manual, fourth edition"
}
@book{key31,
author = "Guillermo J. Rozas",
year = "January 1984",
publisher = "S. B. Thesis, MIT Department of Electrical Engineering and Computer Science",
title = "Liar, an Algol-like Compiler for Scheme"
}
@book{key32,
address = "Cambridge, Mass.",
year = "September 1984",
publisher = "Department of Electrical Engineering and Computer Science, MIT",
title = "MIT Scheme Manual, Seventh Edition"
}
@book{key33,
address = "Sausalito, Calif.",
year = "1985",
publisher = "Semantic Microsystems",
title = "MacScheme Reference Manual"
}
@book{sicp,
author = "Harold Abelson and Gerald Jay Sussman and Julie Sussman",
address = "Cambridge, Mass.",
year = "1985",
publisher = "MIT Press",
title = "Structure and Interpretation of Computer Programs"
}
@book{key35,
author = "William Clinger and Daniel P. Friedman and Mitchell Wand",
booktitle = "Algebraic Methods in Semantics",
address = "London",
year = "1985",
editor = "J. Reynolds, M. Nivat",
publisher = "Cambridge University Press",
pages = "237-250",
title = "A Scheme for a Higher-Level Semantic Algebra"
}
@article{key36,
author = "Amitabh Srivastava and Don Oxley and Aditya Srivastava",
year = "1985",
publisher = "IEEE",
journal = "Proceedings of the Symposium on Logic Programming",
pages = "254-260",
title = "An (other) Integration of Logic and Functional Programming"
}
@techreport{rrrs,
address = "Cambridge, Mass.",
year = "August 1985",
editor = "William Clinger",
title = "The Revised Revised Report on Scheme, or An Uncommon Lisp"
}
@article{key38,
author = "Daniel P. Friedman and Christopher T. Haynes",
address = "New Orleans, LA.",
year = "January 1985",
publisher = "ACM",
journal = "Proceedings of the Twelfth Annual Symposium on Principles of Programming Languages",
pages = "245-254",
title = "Constraining Control"
}
@techreport{scheme84,
author = "Daniel P. Friedman and Christopher T. Haynes and Eugene E. Kohlbecker and Mitchell Wand",
address = "Bloomington, Indiana",
year = "January 1985",
publisher = "Indiana University",
title = "Scheme 84 Interim Reference Manual"
}
@techreport{key40,
author = "Peehong Chen and L. David Sabbagh",
address = "Bloomington, Indiana",
year = "March 1985",
publisher = "Indiana University",
title = "Scheme as an Interactive Graphics Programming Environment"
}
@book{key41,
year = "November 1985",
publisher = "Texas Instruments, Inc.",
title = "TI Scheme Language Reference Manual"
}
@techreport{bochser,
author = "Michael A. Eisenberg",
address = "Cambridge, Mass.",
year = "October 1985",
title = "Bochser: An Integrated Scheme Programming System"
}
@techreport{key43,
author = "Matthias Felleisen",
address = "Bloomington, Indiana",
year = "October 1985",
publisher = "Indiana University",
title = "Transliterating Prolog into Scheme"
}
@article{pcscheme,
author = "David H. Bartley and John C. Jensen",
year = "1986",
journal = "Proceedings of the 1986 ACM Conference on Lisp and Functional Programming",
pages = "86-93",
title = "The Implementation of PC Scheme"
}
@article{key45,
author = "R. Kent Dybvig and Daniel P. Friedman and Christopher T. Haynes",
year = "1986",
journal = "Proceedings of the 1986 ACM Conference on Lisp and Functional Programming",
pages = "143-150",
title = "Expansion-Passing style: Beyond Conventional Macros"
}
@misc{key46,
author = "Marc Feeley and Guy LaPalme",
year = "1986",
title = "Closure Generation based on viewing LAMBDA as EPSILON plus COMPILE"
}
@article{key47,
author = "Matthias Felleisen and Daniel P. Friedman",
year = "1986",
publisher = "Pergamon Press",
journal = "Journal of Computer Languages",
number = "1",
pages = "29-37",
title = "A Closer Look At Export and Import Statements",
volume = "11"
}
@book{key48,
author = "Daniel P. Friedman and Matthias Felleisen",
address = "Palo Alto, California",
year = "1986",
publisher = "Science Research Associates, Inc.",
title = "The Little LISPer: Second Edition"
}
@article{key49,
author = "Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand",
year = "1986",
publisher = "Pergamon Press",
journal = "Journal of Computer Languages",
number = "3/4",
pages = "143-153",
title = "Obtaining Coroutines With Continuations",
volume = "11"
}
@article{key50,
author = "Mitchell Wand",
address = "St. Peterburg, Fla.",
year = "1986",
publisher = "ACM",
journal = "Conference Record of the Thirteenth Annual Symposium on Principles of Programming Languages",
pages = "38-43",
title = "Finding the Source of Type Errors"
}
@book{key51,
author = "Mitchell Wand",
booktitle = "Programs as Data Objects",
year = "1986",
publisher = "Springer-Verlag Lecture Notes",
title = "From Interpreter to Compiler: A Representational Derivation"
}
@article{key52,
author = "Matthias Felleisen and Daniel P. Friedman",
address = "Ebberup, Denmark",
year = "August 1986",
journal = "3rd Working Conference on the Formal Description of Programming Concepts",
pages = "193-219",
title = "Control operators, the SECD-machine, and the lambda-calculus"
}
@techreport{key53,
author = "Eugene E. Kohlbecker",
address = "Bloomington, Indiana",
year = "August 1986",
publisher = "Indiana University",
title = "Syntactic Extensions in the Programming Language Lisp"
}
@article{key54,
author = "Eugene E. Kohlbecker and Daniel P. Friedman and Matthias Felleisen and Bruce Duba",
year = "August 1986",
journal = "Symposium on LISP and Functional Programming",
pages = "151-161",
title = "Hygienic macro expansion"
}
@article{key55,
author = "Mitchell Wand",
year = "August 1986",
journal = "Proceedings of the 1986 ACM Symposium on LISP and Functional Programming",
pages = "298-307",
title = "The mystery of the tower revealed: a non-reflective description of the reflective tower"
}
@article{key56,
year = "December 1986",
editor = "Jonathan A. Rees and William Clinger",
journal = "ACM Sigplan Notices",
number = "12",
title = "Revised$^{3}$ Report on the Algorithmic Language Scheme",
volume = "21"
}
@article{key57,
author = "Christopher T. Haynes",
year = "Jul 1986",
publisher = "Springer-Verlag",
journal = "Proceedings of the Third International Conference on Logic Programming",
pages = "671-685",
title = "Logic Continuations"
}
@article{key58,
author = "Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce Duba",
address = "Washigton DC",
year = "June 1986",
publisher = "IEEE Computer Society Press",
journal = "Proceedings of the Symposium on Logic in Computer Science",
pages = "131-141",
title = "Reasoning with Continuations"
}
@article{orbit,
author = "David Kranz and Richard Kelsey and Jonathan A. Rees and Paul Hudak and James Philbin and Norman I. Adams",
year = "June 1986",
publisher = "ACM",
journal = "Proceedings of the SIGPLAN '86 Symposium on Compiler Construction",
pages = "219-233",
title = "Orbit: An Optimizing Compiler for Scheme"
}
@book{key60,
author = "Marc Feeley",
year = "May 1986",
publisher = "M.Sc. Thesis, De'partement d'Informatique et de Recherche Ope'rationelle, University of Montreal",
title = "Deux Approches a' L'implantation du Language Scheme"
}
@book{splang,
author = "R. Kent Dybvig",
address = "Englewood Cliffs, New Jersey",
year = "1987",
publisher = "Prentice-Hall, Inc.",
title = "The Scheme Programming Language"
}
@article{key62,
author = "Marc Feeley and Guy LaPalme",
year = "1987",
publisher = "Pergamon Press",
journal = "Journal of Computer Languages",
number = "1",
pages = "47-66",
title = "Using Cloures for Code Generation",
volume = "12"
}
@article{key63,
author = "Matthias Felleisen",
year = "1987",
publisher = "Pergamon Press",
journal = "Journal of Computer Languages",
number = "3/4",
pages = "197-207",
title = "Reflections on Landin's J-Operator: A Partly Historical Note",
volume = "12"
}
@article{key64,
author = "Matthias Felleisen and Daniel P. Friedman",
booktitle = "Lecture Notes in Computer Science",
address = "Berlin",
year = "1987",
editor = "De Bakker, Nijman and Treleaven",
publisher = "Springer-Verlag",
journal = "Parallel Architectures and Languages Europe",
pages = "206-223",
title = "A Reduction Semantics for Imperative Higher-Order Languages",
volume = "259"
}
@article{key65,
author = "Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce Duba",
year = "1987",
journal = "Theoretical Computer Science",
pages = "205-237",
title = "A syntactic theory of sequential control",
volume = "52"
}
@book{littlelisper,
author = "Daniel P. Friedman and Matthias Felleisen",
year = "1987",
publisher = "MIT Press",
title = "The Little LISPer"
}
@article{key67,
author = "Christopher T. Haynes and Daniel P. Friedman",
year = "1987",
publisher = "Pergamon Press",
journal = "Journal of Computer Languages",
number = "2",
pages = "109-121",
title = "Abstracting Timed Preemption with Engines",
volume = "12"
}
@techreport{key68,
author = "Matthias Felleisen",
address = "Bloomington, Indiana",
year = "August 1987",
publisher = "Indiana University",
title = "The Calculi of lambda-v-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages"
}
@techreport{key69,
author = "Matthias Felleisen and Daniel P. Friedman and Bruce Duba and John Merrill",
address = "Bloomington, Indiana",
year = "February, 1987",
publisher = "Indiana University",
title = "Beyond Continuations"
}
@article{key70,
author = "Matthias Felleisen and Daniel P. Friedman",
address = "Munich, West Germany",
year = "January 1987",
journal = "Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages",
pages = "314-345",
title = "A calculus for assignments in higher-order languages"
}
@techreport{key71,
author = "Matthias Felleisen and Daniel P. Friedman",
address = "Bloomington, Indiana",
year = "October 1987",
publisher = "Indiana University",
title = "A Syntactic Theory of Sequential State"
}
@article{key72,
author = "Christopher T. Haynes and Daniel P. Friedman",
year = "October 1987",
journal = "ACM Transactions on Programming Languages and Systems",
number = "4",
pages = "582-598",
title = "Embedding continuations in procedural objects",
volume = "9"
}
@book{key73,
author = "Michael Eisenberg",
address = "Redwood City, CA",
year = "1988",
editor = "Harold Abelson",
publisher = "Scientific Press",
title = "Programming In Scheme"
}
@book{key74,
author = "Mitchell Wand and Daniel P. Friedman",
booktitle = "Meta-Level Architectures and Reflection",
year = "1988",
editor = "P. Maes and D. Nardi",
publisher = "Elsevier Sci. Publishers B.V. (North Holland)",
pages = "111-134",
title = "The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower"
}
@book{key75,
author = "Daniel P. Friedman and Mitchell Wand and Christopher T. Haynes and Eugene E. Kohlbecker",
year = "1988-1989",
publisher = "M.I.T. Press and McGraw Hill",
title = "Programming Languages: Their Abstractions, Representations, and Implementations"
}
@misc{key76,
author = "George Springer and Daniel P. Friedman",
year = "1988-1989",
title = "An Introduction to the Art of Programming in Scheme"
}
@article{key77,
author = "Harold Abelson and Gerald Jay Sussman",
year = "February 1988",
journal = "BYTE",
pages = "207-218",
title = "Lisp: A Langauge for Stratified Design"
}
@article{key78,
author = "William Clinger",
year = "February 1988",
journal = "BYTE",
pages = "221-227",
title = "Semantics of Scheme"
}
@article{key79,
author = "Alan Bawden and Jonathan Rees",
address = "Salt Lake City, Utah.",
year = "July 1988",
journal = "Proceedings of the 1988 ACM Symposium on LISP and Functional Programming",
title = "Syntactic Closures"
}
@article{key80,
author = "Matthias Felleisen and Mitchell Wand and Daniel P. Friedman and Bruce Duba",
address = "Salt Lake City, Utah.",
year = "July 1988",
journal = "Proceedings of the 1988 ACM Symposium on LISP and Functional Programming",
title = "Abstract Continuations: A Mathematical Semantics for Handling Functional Jumps"
}
@techreport{key81,
author = "John Franco and Daniel P. Friedman",
address = "Bloomington, Indiana",
year = "March 1988",
publisher = "Indiana University",
title = "Creating Efficient Programs by Exchanging Data for Procedures"
}
@article{key82,
author = "Mitchell Wand and Daniel P. Friedman",
year = "241-263 1978",
journal = "Computer Languages 3",
title = "Compiling lambda expressions using continuations and factorizations"
}